/*
 * Diego Zamboni Latance 			344990
 * Fellipe Augusto Ruiz de Souza 	344796
 * 
 */
package ast;

public class VoidType extends Type {

	public VoidType() {
		super("void");
	}

	public String getCname() {
		return "void";
	}

	public String getKrakatoaName() {
		return "void";
	}
}